Quantifier-free epistemic term-modal logic with assignment operator

In standard epistemic logic, the names and the existence of agents are usually assumed to be common knowledge implicitly. This is unreasonable for various applications in computer science and philosophy. Inspired by term-modal logic and assignment operators in dynamic logic, we introduce a lightweight modal predicate logic where names can be non-rigid, and the existence of agents can be uncertain. The language can handle various de dicto/de re distinctions in a natural way. We characterize the expressive power of our language, obtain complete axiomatisations of the logics over several classes of varying-domain/constant-domain epistemic models, and show their (un)decidability.     

Exact WKB analysis of a Schrödinger equation with a merging triplet of two simple poles and one simple turning point,II — Its relevance to the Mathieu equation and the Legendre equation

We develop the exact WKB analysis of an M2P1T (merging two simple poles and one simple turning point) Schrödinger equation. In Part II, using a WKB-theoretic transformation to the algebraic Mathieu equation constructed in Part I, we calculate the alien derivative of its Borel transformed WKB solutions at each fixed singular point relevant to the simple poles through the analysis of Borel transformed WKB solutions of the Legendre equations. In the course of the calculation of the alien derivative we make full use of microdifferential operators whose symbols are given by the infinite series that appear in the coefficients of the algebraic Mathieu equation and the Legendre equation.     

Quasi-compact operator,pseudo-essential spectra and some perturbation results

In this paper, we use the concept of quasi-compact operators, as a generalization of the class of Riesz operators, to improve the definition of the pseudo-Schechter essential spectrum of a closed densely defined operator acting on Banach space. Moreover, we discuss the incidence of some perturbation results on the behavior of pseudo-essential spectra of the sum of two bounded linear operators.     

Contractivity results in ordered spaces. Applications to relative operator bounds and projections with norm one

This paper provides various “contractivity” results for linear operators of the form where C are positive contractions on real ordered Banach spaces X . If A generates a positive contraction semigroup in Lebesgue spaces , we show (M. Pierre's result) that is a “contraction on the positive cone ”, i.e. for all provided that .  We show also that this result is not true for 1 ⩽ . We give an extension of M. Pierre's result to general ordered Banach spaces X under a suitable uniform monotony assumption on the duality map on the positive cone . We deduce from this result that, in such spaces, is a contraction on for any positive projection C with norm 1. We give also a direct proof (by E. Ricard) of this last result if additionally the norm is smooth on the positive cone. For any positive contraction C on base‐norm spaces X (e.g. in real spaces or in preduals of hermitian part of von Neumann algebras), we show that for all where N is the canonical half‐norm in X . For any positive contraction C on order‐unit spaces X (e.g. on the hermitian part of a algebra), we show that is a contraction on . Applications to relative operator bounds, ergodic projections and conditional expectations are given.     

On Cartan's theorem for linear operators

In this paper, we describe a second main theorem of holomorphic curves in , of hyper‐order strictly less than 1, that involves a general linear operator . As an application, we derive a truncated second main theorem of degenerate holomorphic curves of hyper‐order strictly less than 1 using Nochka weights.     

Hausdorff type operators on the power weighted Hardy spaces

In this paper, we study the high‐dimensional Hausdorff type operators and establish their boundedness on the power weighted Hardy spaces for . As a consequence, we obtain that the Hausdorff type operator is bounded on if Φ is the Gauss function, or the Poisson function.     

Summability in of a vector measure

We show a picture of the relations among different types of summability of series in the space  of integrable functions with respect to a vector measure m of relatively norm compact range. In order to do that, we study the class of the so‐called m‐1‐summing operators. We give several applications regarding the existence of copies of c ₀ in , as well as on m‐1‐summing operators which are weakly compact, Asplund or weakly precompact.     

On Burenkov's extension operator preserving Sobolev–Morrey spaces on Lipschitz domains

We prove that Burenkov's extension operator preserves Sobolev spaces built on general Morrey spaces, including classical Morrey spaces. The analysis concerns bounded and unbounded open sets with Lipschitz boundaries in the n‐dimensional Euclidean space.     

Universal mappings for certain classes of operators and polynomials between Banach spaces

A well‐known result of J. Lindenstrauss and A. Pełczyński (1968) gives the existence of a universal non‐weakly compact operator between Banach spaces. We show the existence of universal non‐Rosenthal, non‐limited, and non‐Grothendieck operators. We also prove that there does not exist a universal non‐Dunford–Pettis operator, but there is a universal class of non‐Dunford–Pettis operators. Moreover, we show that, for several classes of polynomials between Banach spaces, including the non‐weakly compact polynomials, there does not exist a universal polynomial.